Publications of Ileana OBER
Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober, Eric Guillaume Vidot
Certification of avionic software based on machine learning: the case for formal monotony analysis
International Journal on Software Tools for Technology Transfer, 2024, 26 (2), pp.189-205. ⟨10.1007/s10009-024-00741-6⟩
Mickaël Trezzy, Ileana Ober, Iulian Ober, Raquel Oliveira
Applying MDE to ROS Systems: A Comparative Analysis
Scientific Annals of Computer Science, 2021, 31 (1), pp.111 – 144. ⟨10.7561/sacs.2021.1.111⟩
Ileana Ober, Marc Palyart, Jean-Michel Bruel, David Lugato
On the use of models for high-performance scientific computing applications: an experience report
Software and Systems Modeling, 2018, 17, pp.319-342. ⟨10.1007/s10270-016-0518-0⟩
Ileana Ober, Iulian Ober, Iulia Dragomir, El Arbi Aboussoror
UML/SysML semantic tunings
In : Innovations in Systems and Software Engineering, Springer – ISSE NASA, Vol. 7 N. 4, pp. 257-264, November 2011.
URL : https://hal.archives-ouvertes.fr/hal-02943101 – https://doi.org/10.1007/s11334-011-0163-2
BibTeXMarc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel
Le calcul hautes performances: un nouveau champ d’application pour l’ingénierie de modèles
In : Génie Logiciel, GL & IS, Meudon – France, Vol. 97, pp. 41-46, June 2011.
Ileana Ober, Louis Féraud, Christian Percebois
Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques
In : Innovations in Systems and Software Engineering, Springer, Vol. 6 N. 1, pp. 21-28, January 2010.
Abstract URL : http://www.springerlink.com/content/y78373u877564110/
BibTeXIulian Ober, Susanne Graf, Yuri Yushtein, Ileana Ober
Timing analysis and validation with UML: the case of the embedded MARS bus manager
In : Innovations in Systems and Software Engineering, Springer, Vol. 4 N. 3, pp. 301-308, August 2008.
Erwann Poupart, Ali Abou Dib, Louis Féraud, Pierre Bazex, Ileana Ober, Christian Percebois, Thierry Millan
Vers une abstraction d’une famille de DSL
In : Génie Logiciel, GL & IS, Meudon – France, Vol. 81, pp. 24-31, June 2007.
Iulian Ober, Susanne Graf, Ileana Ober
Validating timed UML models by simulation and verification
In : International Journal on Software Tools for Technology Transfer, Springer-Verlag, Heidelberg, Allemagne, Vol. 8 N. 2, pp. 128-145, 2006.
Susanne Graf, Ileana Ober, Iulian Ober
A real-time profile for UML
In : International Journal on Software Tools for Technology Transfer, Springer-Verlag, Heidelberg, Allemagne, Vol. 8 N. 2, pp. 113-127, 2006.
Jean-Michel Bruel, Ileana Ober
Components modeling in UML 2
In : Studia Jurnal, Babes-Bolyai University, Cluj-Napoca (Roumanie), Vol. 1, pp. 79-90, 2006.
Iulian Ober, Ileana Ober, Susanne Graf, David Lesens
Projet OMEGA : un profil UML et un outil pour la modélisation et la validation de systèmes temps réel
In : Génie Logiciel, GL & SI, 8, rue du parc – 92190 Meudon, Vol. 73, pp. 33-38, June 2005.
Minh Khoi Nguyen, Hanh Nhi Tran, Razan Abualsaud, Ileana Ober
An AI-Enhanced Process Mining Framework for Software Process Insights
15th International Conference on Knowledge and Systems Engineering (KSE 2023), Oct 2023, Hanoï, Vietnam. pp.1-6, ⟨10.1109/KSE59128.2023.10299475⟩
Razan Abualsaud, Hanh Nhi Tran, Ileana Ober, Minh Khoi Nguyen
Toward a Goal-Oriented Methodology for Artifact-Centric Process Modeling
18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2023), Institute for Systems and Technologies of Information, Control and Communication (INSTICC); ACM Special Interest Group on Management Information Systems (ACM SIGMIS); IEEE SMC – IEEE Technical Committee on Enterprise Information Systems, Apr 2023, Prague, Czech Republic. pp.656-663, ⟨10.5220/0011989900003464⟩
Guillaume Vidot, Mélanie Ducoffe, Christophe Gabreau, Iulian Ober, Ileana Ober
Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification
27th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2022), Sep 2022, Warsaw, Poland. pp.15-31, ⟨10.1007/978-3-031-15008-1_3⟩
Minh Khoi Nguyen, Hanh Nhi Tran, Ileana Ober
Process Mining to Discover the Global Process from its Fragments’ Executions
17th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2022), Apr 2022, Online Streaming, France. pp.363-370, ⟨10.5220/0011044800003176⟩
Ileana Ober, Philippe Joly, Jaroslav Nosek
About the Double Degree Master’s Programs between University Toulouse III-Paul Sabatier and Technical University of Liberec
2021 IEEE International Workshop of Electronics, Control, Measurement, Signals and their application to Mechatronics (ECMSM), Jun 2021, Liberec, France. pp.1-4, ⟨10.1109/ECMSM51310.2021.9468839⟩
Ileana Ober, Mickaël Trezzy, Iulian Ober, Raquel Oliveira
Leveraging domain specific modeling to increase accessibility of robot programming
IEEE International Workshop of Electronics, Control, Measurement, Signals and their application to Mechatronics (ECMSM 2021), IEEE, Jun 2021, Liberec, Czech Republic. ⟨10.1109/ECMSM51310.2021.9468864⟩
Mickaël Trezzy, Ileana Ober, Iulian Ober
Applying MDE to ROS systems: A comparative analysis
4th Working Formal Methods Symposium (FROM 2020), Sep 2020, Cluj-Napoca (virtual), Romania
Renan Leroux-Beaudout, Marc Pantel, Ileana Ober, Jean-Michel Bruel
Model-Based Systems Engineering for Systems Simulation
Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018), Oct 2018, Limassol, Cyprus. pp.429-448
Mickaël Trezzy, Ileana Ober, Raquel Oliveira
Enhancing Robot Model Validation with Outdoor Environment Information (CIEL 2018)
7ème Conférence en IngénieriE du Logiciel (CIEL 2018), Université Grenoble Alpes, Grenoble, France, Jun 2018, Grenoble, France
Renan Leroux-Beaudout, Ileana Ober, Marc Pantel, Jean-Michel Bruel
Modeling co-simulation : a first experiment
5th International Workshop on the Globalization of Modeling Languages (GEMOC 2017) co-located with ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017), Sep 2017, Austin, TX, United States. pp.292-297
On Patterns of Multi-domain Interaction for Scientific Software Development focused on Separation of Concerns
17th International Conference on Computational Science (ICCS 2017), Jun 2017, Zürich, Switzerland. pp. 2298-2302
Edel Sherratt, Ileana Ober, Emmanuel Gaudin, Pau Fonseca I Casas, Finn Kristoffersen
SDL – the IoT Language
17th International System Design Languages Forum (SDL 2015), Oct 2015, Berlin, Germany. pp. 27-41
I. Dragomir, S. Graf, G. Karsai, F. Noyrit, Ileana Ober
Introduction to ACESMB 2015- Model-based architecting of cyber-physical and embedded systems
8th Joint International Workshop on Model-Based Architecting of Cyber-Physical and Embedded Systems and 1st International Workshop on UML Consistency Rules, ACES-MB 2015 and WUCOR 2015, Sep 2015, Ottawa, Canada. pp.1-2
Jean-Michel Bruel, Benoit Combemale, Ileana Ober, Hélène Raynal
MDE in Practice for Computational Science
INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, Université de Reykjavik. Reykjavik, ISL., Jun 2015, Reykjavík, Iceland. 10 p., ⟨10.1016/j.procs.2015.05.182⟩
El Arbi Aboussoror, Ileana Ober, Iulian Ober
Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback (regular paper)
In : International System Design Languages Forum (SDL 2013), Montréal, Canada, 26/06/13-28/06/13, Vol. 7916, Springer, LNCS, pp. 107-123, June 2013.
El Arbi Aboussoror, Ileana Ober, Iulian Ober
Visualisation orientee modele de trace de simulation (short paper)
In : Journées nationales du GDR CNRS Génie de la Programmation et du Logiciel, Nancy, 03/04/13-05/04/13, Duchien Laurence (Eds.), Université de Lorraine, pp. 92, April 2013.
Marc Palyart, Ileana Ober, David Lugato, Jean-Michel Bruel
HPCML: a modeling language dedicated to high-performance scientific computing (regular paper)
In : International Workshop on Model-Driven Engineering for High Performance and CLoud computing (MDHPCL 2012), Innsbruck, Austria}, 02/10/12-02/10/12, ACM Digital Library, (on line), 2012.
URL : http://dx.doi.org/10.1145/2446224.2446230 – https://oatao.univ-toulouse.fr/12879/
BibTeXEl Arbi Aboussoror, Ileana Ober, Iulian Ober
Seeing Errors: Model Driven Simulation Trace Visualization (regular paper)
In : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2012), Innsbruck, Autriche, 30/09/12-05/10/12, Robert France, Jürgen Kazmeier (Eds.), Springer, LNCS 7590, pp. 480-496, October 2012.
URL : http://doi.org/10.1007/978-3-642-33666-9_31 – https://hal.archives-ouvertes.fr/hal-02943097
BibTeXDan Chiorean, Ileana Ober, Vladiela Petrascu
Avoiding OCL specification pitfalls (regular paper)
In : Educators’ Symposium@MODELS 2011 – Software Modeling in Education, Wellington, Nouvelle Zeelande, 18/10/11-18/10/11, Vol. 2, Marion Brandsteidl, Andreas Winter (Eds.), Université de Oldenburg, pp. 7-17, September 2011 (best paper).
Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel
Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks (regular paper)
In : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2011), Wellington, New Zealand, 16/10/11-21/10/11, Vol. 6981, Jon Whittle, Tony Clark, Thomas Kühne (Eds.), Springer, LNCS, pp. 213-227, September 2011.
Modeling Wizards : École d’automne dédiée à la modélisation (regular paper)
In : Journées nationales du GDR CNRS Programmation et Logiciel, Lille, France, 08/06/11-10/06/11, Yves Ledru, Anne-Françoise Le Meur, Olivier Caron (Eds.), Université de Lille, pp. 77-81, 2011.
Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel
MDE4HPC : An Approach for Using Model-Driven Engineering in High-Performance Computing (regular paper)
In : International Conference on System Design Languages, Toulouse, 05/07/11-07/07/11, Ileana Ober, Iulian Ober (Eds.), Springer, LNCS 7083, pp. 245-259, October 2011.
Marc Palyart, David Lugato, Ileana Ober, Jean-Michel Bruel
MDE4HPC: An approach for Using Model-Drieven-Engineering in High Performance Computing (regular paper)
In : International Conference on System Design Languages, Toulouse, 05/07/11-07/07/11, Ileana Ober, Iulian Ober (Eds.), IRIT, pp. 213-228, June 2011.
Stefan Van Baelen, Iulian Ober, Huascar Espinoza, Thomas Weigert, Ileana Ober, Sébastien Gérard
Model Based Architecting and Construction of Embedded Systems (ACES-MB 2010) (regular paper)
In : ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2011), Oslo, 02/10/11-08/10/11, Jürger Dingel, Soldberg Solberg (Eds.), Springer, LNCS 6627, pp. 70-74, 2011.
Anna Medve, László Kozma, Ileana Ober
General Modelling Approach Based on the Intensive Use of Architectural and Design Patterns (regular paper)
In : IADIS Applied Computing, Timisoara, Romania, 14/10/10-17/10/10, Hans Weghorn, Pedro Isaías, Radu Vasiu (Eds.), IADIS, pp. 251-255, September 2010.
Dan Chiorean, Vladiela Petrascu, Ileana Ober
Testing-Oriented Improvements of OCL Specification Patterns (regular paper)
In : IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR 2010), Cluj Napoca, Roumanie, 28/05/10-30/05/10, Vol. II, Paolo Prinetto, Paula Raica, Dorina Capatina (Eds.), IEEE Computer Society, pp. 143-148, May 2010.
Ileana Ober, Louis Féraud, Christian Percebois
Dealing with Variability within a family of Domain Specific Languages: comparative analysis of different techniques (regular paper)
In : UML&FM, Rio de Janeiro, 08/12/09-08/12/09, Agusti Canals, Isabelle Perseil (Eds.), Télécom ParisTech, pp. 17-23, December 2009.
El Arbi Aboussoror, Ileana Ober, Michelle Sibilla
Towards Model Based Development of Managed Networked Embedded Systems
In : System Design Languages Forum, Bochum, Germany, 22/09/09-24/09/09, Rick Reed, Reinhard Gotzhein, Attila Bilgic (Eds.), Springer-Verlag, LNCS 5719, pp. 55-65, September 2009.
From Models to Components: Filling the Gap with SDL Macro-patterns
In : Innovation In Software Engineering, Vienna, 10/12/08-12/12/08, IEEE : Institute of Electrical and Electronics Engineers, pp. 57-72, December 2008.
Ileana Ober, Ali Abou Dib, Louis Féraud, Christian Percebois
Towards interoperability in component based development with a family of DSLs
In : European Conference on Software Architecture (ECSA 2008), Chypre, 29/09/08-01/10/08, Vol. LNCS, R. Morrison, D. Balasubramaniam, K. Falkner (Eds.), Springer-Verlag, pp. 148-163, September 2008.
Abstract URL : http://www.springer.com/computer/programming/book/978-3-540-88029-5
BibTeXUsing ASM to achieve executability within a family of DSL
In : International Conference on ASM, B and Z, London, 17/09/08-19/09/08, Vol. LNCS, Egon Boerger, Michael Butler, Jonathan P. Bowen, Paul Boca (Eds.), Springer-Verlag, pp. 354-374, September 2008.
Ali Abou Dib, Louis Féraud, Christian Percebois, Ileana Ober
Towards a Rigorous Framework for dealing with Domain Specific Language Families
In : International Conference on Sciences of Electronics, Technologies of Information and Telecommunications (SETIT 2008), Damascus, Syria, 07/04/08-11/04/08, IEEE Computer Society, (electronic medium), April 2008 (First Best Paper Award).
Teaching MDA: From Pyramids to Sand Clocks
In : Physicality, Nashville, USA, 03/10/07-03/10/07, Miroslaw Staron (Eds.), IT University of Göteborg, pp. 34-39, October 2007.
Christian Percebois, Pierre Bazex, Arlette Sebatware, Hervé Leblanc, Ali Abou Dib, Ileana Ober, Louis Féraud
Modélisation en UML et OCL de langages dédiés
In : Journée KERMETA 2006, Rennes, France, 10/10/06.
What do we need metamodels for?
In : Nordic Workshop on UML and Software Modelling (NWUML 2006), Grimstad, Norway, 12/06/06-16/06/06, Agder University College – Faculty of Engineering and ScienceE, pp. 8-28, 2006.
Benoit Combemale, Xavier Crégut, Ileana Ober, Christian Percebois
Evaluation du standard SPEM de représentation des processus
In : Nice Environment with a Process and Tools Using Norms and Example (NEPTUNE 2006), Paris, 16/05/06, Pierre Bazex, Agusti Canals, Jean-Claude Rault (Eds.), GL & IS, pp. 25-30, June 2006.
Thierry Millan, Hervé Leblanc, Ileana Ober, Christian Percebois, Pierre Bazex, Ralph Sobek
Tooling a UML method based on OCL
In : New concepts and technologies for ground system software : Why and How?, Toulouse, 21/11/05-21/11/05, Erwan Poupart (Eds.).
Hervé Leblanc, Thierry Millan, Ileana Ober
Démarche de développement orienté modèles : de la vérification de modèles à l’outillage de la démarche
In : Ingénierie Dirigée par les Modèles, Paris, 30/06/05-01/07/05, Sébastien Gérard, Jean-Marie Favre, Pierre-Alain Müller, Xavier Blanc (Eds.), CEA List – ISBN 2-7261-1284-6, pp. 125-140, June 2005.
Ileana Ober, Bernard Coulette, Marcel Gandriau
Action language for UML
In : Langages et Modèles à Objets, Mont Saint Hilaire, 26/01/00-28/01/00, Hermès Science Publication, pp. 227-291, January 2000.
Ileana Ober, Marcel Gandriau, Bernard Coulette
The action semantics problem
In : Workshop OOPSLA “Rigorous modeling and analysis of the UML”., Denver, ., November 1999.
Workshop on Models for Non-functional Properties of Component-Based Software – NfC
In : MoDELS Satellite Events 2005. Jean-Michel Bruel (Eds.) , Springer-Verlag, 8, pp. 217-226, Vol. 3844, LNCS, 2006.
Jean-Michel Bruel, Georg Geri, Ileana Ober
Models for Non-functional Aspects of Component-Based Software (NfC’04)
In : UML 2004 Satellite Activities. N. J. Nuntes (Eds.) , Springer-Verlag, pp. 62-66, Vol. 3297, LNCS, 2005.
Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, J. Sifakis
The IF toolset
In : SFM-04:RT 4th Int. School on Formal Methods for the Design of Computer, Communication and Software Systems: Real Time. Marco Bernardo, Flavio Corradini (Eds.) , Springer-Verlag, pp. 237-267, Vol. 3185, LNCS, June 2004.
Susanne Graf, Haugen Øystein , Ileana Ober, Selic Bran
SVERTS – Specification and Validation of Real-Time and Embedded Systems
In : UML 2004 Satellite Activities. N.J. Nuntes (Eds.) , Springer-Verlag, pp. 33-42, Vol. 3297, LNCS, 2004.
Modélisation, formalisation et techniques métier. Applications au développement de systèmes hétérogènes et temps-réel
HDR, Université Paul Sabatier, November 2010.
Harmonisation des langages de modélisation avec des extensions orientées-objet et une sémantique exécutable
Master’s Thesis, Institut National Polytechnique de Toulouse, April 2001.
Guillaume Vidot, Christophe Gabreau, Ileana Ober, Iulian Ober
Certification of embedded systems based on Machine Learning: A survey
2021